inspector: Change label of widget tree
authorMatthias Clasen <mclasen@redhat.com>
Thu, 8 May 2014 05:19:05 +0000 (01:19 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Sun, 11 May 2014 02:04:22 +0000 (22:04 -0400)
commit08f2456d5f9ad7cb5f2e2c980560702d7c5a69b7
tree04a2ab6dc6c3b94ab0d2ec12e55a08d1015ee0b4
parentc9dba4b8e0e7dc9b1030065e6b7f5e7177976288
inspector: Change label of widget tree

The tree contains other objects besides widgets, so label it
'Objects'.
modules/inspector/widget-tree.ui